A Simple Publicly Veri able
نویسنده
چکیده
A publicly veriiable secret sharing (PVSS) scheme is a ver-iiable secret sharing scheme with the property that the validity of the shares distributed by the dealer can be veriied by any party; hence veri-cation is not limited to the respective participants receiving the shares. We present a new construction for PVSS schemes, which compared to previous solutions by Stadler and later by Fujisaki and Okamoto, achieves improvements both in eeciency and in the type of intractability assumptions. The running time is O(nk), where k is a security parameter, and n is the number of participants, hence essentially optimal. The intractabil-ity assumptions are the standard Diie-Hellman assumption and its de-cisional variant. We present several applications of our PVSS scheme, among which is a new type of universally veriiable election scheme based on PVSS. The election scheme becomes quite practical and combines several advantages of related electronic voting schemes, which makes it of interest in its own right.
منابع مشابه
Publicly Veri able Secret Sharing
A secret sharing scheme allows to share a secret among several participants such that only certain groups of them can recover it. Veri able secret sharing has been proposed to achieve security against cheating participants. Its rst realization had the special property that everybody, not only the participants, can verify that the shares are correctly distributed. We will call such schemes publi...
متن کاملEf£cient Construction of (Distributed) Veri£able Random Functions
We give the £rst simple and ef£cient construction of veri£able random functions (VRFs). VRFs, introduced by Micali et al. [MRV99], combine the properties of regular pseudorandom functions (PRFs) [GGM86] (i.e., indistinguishability from a random function) and digital signatures [GMR88] (i.e., one can provide an unforgeable proof that the VRF value is correctly computed). The ef£ciency of our VRF...
متن کاملHidden veri cation for computational mathematics
We present hidden veri cation as a means to make the power of computational logic available to users of computer algebra systems while shielding them from its complexity. We have implemented in PVS a library of facts about elementary and transcendental functions, and automatic procedures to attempt proofs of continuity, convergence and di erentiability for functions in this class. These are cal...
متن کاملA Veri able Software/Hardware Co-design Using SDL and Cospan
A new bilingual speciication environment consisting of the two languages SDL and S/R is described. The new design is based on the SDL-to-S/R compiler that was implemented at a previous phase and introduces the necessary interface semantics as restrictions on special SDL shell processes that encapsulate the interfaced S/R modules. The environment can be used in SW/HW co-design by involving the v...
متن کاملState Reduction Methods for Automatic Formal Verification H Signed I H Signed I H Signed I
Validation of industrial designs is becoming more challenging as technology advances and demand for higher performance increases. One of the most suitable debugging aids is automatic formal veri cation. Unlike simulation, which tests behaviors under a speci c execution, automatic formal veri cation tests behaviors under all possible executions of a system. Therefore, it is able to detect errors...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999